61. Post-quantum cryptography :
پدیدآورنده : edited by Tanja Lange, Rainer Steinwandt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data encryption (Computer science), Congresses.,Quantum computers, Congresses.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Information Theory.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Quantum computers.,Software Engineering.
رده :
QA76
.
9
.
A25
62. Proceedings of International Conference on Recent Advancement on Computer and Communication :
پدیدآورنده : Basant Tiwari, Vivek Tiwari, Kinkar Chandra Das, Durgesh Kumar Mishra, Jagdish C. Bansal, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Internet of things, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
رده :
TK5105
.
5
63. Proceedings of 2nd International Conference on Communication, Computing and Networking :
پدیدآورنده : C. Rama Krishna, Maitreyee Dutta, Rakesh Kumar, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Data mining, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Communications Engineering, Networks.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Data mining.,Databases.
رده :
TK5105
.
5
64. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
65. Program analysis and compilation, theory and practice :
پدیدآورنده : Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
66. Programming languages :
پدیدآورنده : André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
67. Programming languages and systems :
پدیدآورنده : Sukyoung Ryu (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
68. Progress in computing, analytics and networking :
پدیدآورنده : Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
69. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
70. Risks and Security of Internet and Systems :
پدیدآورنده : edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
71. RoboCup 2017 :
پدیدآورنده : Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
72. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
73. Security and trust management :
پدیدآورنده : Sokratis K. Katsikas, Cristina Alcaraz (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer networks-- Security measures.,Computer programming-- software development.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information retrieval.,Information technology: general issues.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
S76
2018
74. Security protocols XXVI :
پدیدآورنده : Vashek Matyáš, Petr Švenda, Frank Stajano, Bruce Christianson, Jonathan Anderson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Artificial intelligence.,Computer security.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
75. Security standardisation research :
پدیدآورنده : Cas Cremers, Anja Lehmann (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A25
76. Sensor systems and software :
پدیدآورنده : Stephen Hailes, Sabrina Sicari, George Roussos (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wireless sensor networks, Congresses.,Computer Applications.,Computer Communication Networks.,Computer Science.,Computer Systems Organization and Communication Networks.,Computers and Society.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet),Informatique.,Wireless sensor networks.
رده :
TK7872
.
D48
S38
2010
77. Software analysis, testing, and evolution :
پدیدآورنده : Lei Bu, Yingfei Xiong (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Computer software-- Testing, Congresses.,Computer networking & communications.,Computer software-- Development.,Computer software-- Testing.,Computers-- Hardware-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
76
.
T48
78. Software architecture :
پدیدآورنده : Carlos E. Cuesta, David Garlan, Jennifer Pérez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software architecture, Congresses.,Software engineering, Congresses.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software architecture.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
79. Software engineering :
پدیدآورنده : M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
رده :
QA76
.
9
.
H84
80. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
پدیدآورنده : SLE 8002)8002 :Toulouse, France(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
